Your search returned 4 records. Click on the hyperlinks to view further details of Titles..
Magazine Name : Ieee Transactions On Software Engineering
Year : 1996Volume number : 22Issue:11
A Framework For Specification Based Testing(Article) Subject:
Specification-Based Lesting
,
Testing Strategies
,
Test Data Volume
Author:
Phil
Stocks
David
Carrington
page:
777
-
793
A Compact Petri Net Representation And Lst Implications For Analysis(Article) Subject:
Software Validation
,
Reachability Analysis
,
Program Representations
Author:
Matthew B.
Dwyer
Lori A.
Clarke
page:
794
-
811
Independent Recovery In Large-Scale Distributed Systems(Article) Subject:
Availability
,
Transactions
,
Replication
Author:
Peter
Triantafillou
page:
812
-
826
The Cache Assignment Problem And Lts Application To Database Buffer Management(Article) Subject:
Cache
,
Lru
,
Database Searches
Author:
Hanoch
Levy
Ted G.
Messinger
Robert J. T.
Morris
page:
827
-
838